- type 4 programming
- 第四类程序设计(技术，方法)
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
type 4 programming
Look at other dictionaries:
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Type safety — In computer science, type safety is a property of some programming languages that is defined differently by different communities, but most definitions involve the use of a type system to prevent certain erroneous or undesirable program behavior… … Wikipedia
Programming language — lists Alphabetical Categorical Chronological Generational A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that… … Wikipedia
Type inference — Type inference, or implicit typing, refers to the ability to deduce automatically the type of a value in a programming language. It is a feature present in some strongly statically typed languages. It is often characteristic of but not limited to … Wikipedia
Programming language theory — (commonly known as PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and programming language features. It is a multi disciplinary field, both… … Wikipedia
Type signature — is a term that is used in computer programming.A type signature defines the inputs and outputs for a function or method. A type signature includes at least the function name and the number of its parameters. In some programming languages, it may… … Wikipedia
Programming paradigm — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concu … Wikipedia
Type unite — Type unité Un type unité est un type mathématique avec une seule valeur. L ensemble associé avec le type unité peut être n importe quel ensemble singleton. Il y a un isomorphisme entre deux tels ensembles, donc on parle souvent du type unité et… … Wikipédia en Français
Type — may refer to:In philosophy: *A type is a category of being *Type token distinction *Type theory, basis for the study of type systemsIn mathematics: *Type (model theory) *Type or Arity, the number of operands a function takes *Type, any… … Wikipedia
Type generalization — is a technique commonly used in refactoring. The idea is to draw on the benefits of object orientation and make more generalized types, thus enabling more code sharing, leading to better maintainability as there is less code to write. Too general … Wikipedia
Type polymorphism — In computer science, polymorphism is a programming language feature that allows values of different data types to be handled using a uniform interface. The concept of parametric polymorphism applies to both data types and functions. A function… … Wikipedia
